How do programmers use unsafe rust?
نویسندگان
چکیده
منابع مشابه
Rust for functional programmers
This post follows up on OCaml for Haskellers from Edward Z. Yang (2010) and my own Haskell for OCaml pro from earlier this year.
متن کاملHow Do Program Understanding Tools Affect How Programmers Understand Programs?
In this paper, we explore the question of whether program understanding tools enhance or change the way that programmers understand programs. The strategies that programmers use to comprehend programs vary widely. Program understanding tools should enhance or ease the programmer’s preferred strategies, rather than impose a fixed strategy that may not always be suitable. We present observations ...
متن کاملOn Control Flow Hijacks of unsafe Rust
Rust is a newly designed systems programming language that aims at safety. However, as a systems language, Rust must be able to manipulate rawmemory and interact with native C codes freely. In this project, we demonstrate how the use of unsafe keyword can potentially undermine the security guarantees of Rust. Specifically, we provideworking demonstrations to show that in some circumstances, vul...
متن کاملDo Programmers do Change Impact Analysis?
Change Impact Analysis” is the process of determining the consequences of a modification to software. In theory, change impact analysis should be done during software maintenance, to make sure changes do not introduce new bugs. Many approaches and techniques are proposed to help programmers do change impact analysis automatically. However, it is still an open question whether and how programmer...
متن کاملWhat Programmers Do with Inheritance in Java
Inheritance is a distinguishing feature of object-oriented programming languages, but its application in practice remains poorly understood. Programmers employ inheritance for a number of different purposes: to provide subtyping, to reuse code, to allow subclasses to customise superclasses’ behaviour, or just to categorise objects. We present an empirical study of 93 open-source Java software s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2020
ISSN: 2475-1421
DOI: 10.1145/3428204